LARA + + Design Specification

Collaboration during conceptual design

Conceptual design involves requirements analysis, functional specification, and architectural design. It remains informal and poorly understood. We studied the conceptual design activities of a representative industrial software project, Centauri, for three months with follow-up observations and discussions over the following six months. Our goal was to understand how patterns of collaboration ...

An Algebraic Formalization of the GoF Design Patterns

Abstract This document reports on the use of an algebraic, visual, formal approach to the specification of patterns for the formalization of the GoF design patterns. The approach is based on graphs, morphisms and operations from category theory and exploits triple graphs to annotate model elements with pattern roles. Being based on category theory, the approach can be applied to formalize patte...

Collaboration during Conceptual Design Formation & Facilitation of Common Technical Vision Keeping Track of Status & Supporting Project's "working Memory" Sharing and Evolving Informal Information

The conceptual design of software involves the analysis of requirements, functional specification, and architectural design. Despite the recent interest in supporting the software development process, conceptual design remains a largely informal and little understood activity. We studied the conceptual design activities of a representative industrial software project, Centauri, for three months...

Formal Foundation for Pattern-Based Modelling

We present a new visual and formal approach to the specification of patterns, supporting pattern analysis and pattern-based model completion. The approach is based on graphs, morphisms and operations from category theory and exploits triple graphs to annotate model elements with pattern roles. Novel in our proposal is the possibility of describing (nested) variable submodels, as well as inter-p...

What do Infertile Women Think about Oocyte Reception, Oocyte Donation, and Child Adoption? O que as mulheres inférteis pensam em relação a ovo recepção, doação de oócitos e adoção de crianças?